Fiber Preserving Equivalence

Equivalence-Preserving Compilation

Language-based security relies on the assumption that all potential attacks are bound by the rules of the language in question. When programs are compiled into a different language, this is true only if the translation process preserves observational equivalence. We investigate the problem of fully abstract compilation, i.e., compilation that both preserves and reflects observational equivalenc...

Toggle Equivalence Preserving Logic Synthesis

Earlier, a theory was introduced that enabled a method of scalable logic synthesis. In this method, given a circuit N1 and its partition into subcircuits N1 , i=1,..k, an optimized circuit N2 functionally equivalent to N1 is built by replacing each subcircuit N1 i with a toggle equivalent counterpart N2 . To implement this method in practice, one needs a procedure that, given a multi-output sub...

Equivalence-preserving corrective enforcement of security properties

Runtime monitoring is a widely used approach for the enforcement of security policies. It allows the safe execution of untrusted code by observing the execution and reacting if needed to prevent a violation of a user-defined security policy. Previous studies have determined that the set of security properties enforceable by monitors is greatly extended by giving the monitor some licence to tran...

A Passage-time Preserving Equivalence for

An Equivalence-Preserving Transformation of Shift Registers

The Fibonacci-to-Galois transformation is useful for reducing the propagation delay of feedback shift register-based stream ciphers and hash functions. In this paper, we extend it to handle Galois-to-Galois case as well as feedforward connections. This makes possible transforming Trivium stream cipher and increasing its keystream data rate by 27% without any penalty in area. The presented trans...